Normalisation by evaluation - PDFSEARCH.IO - Document Search Engine

Normalisation by evaluation
Results: 38

#	Item
11	Weak βη-Normalization and Normalization by Evaluation for System F Andreas Abel Department of Computer Science Ludwig-Maximilians-University Munich Add to Reading List Source URL: www2.tcs.ifi.lmu.de Language: English - Date: 2008-09-11 16:49:25 Lambda calculus Logic in computer science Combinatory logic Valuation Normalisation by evaluation Sheaf Natural deduction Limit set Abstract algebra Mathematics Theoretical computer science
12	Hindley-Milner Elaboration in Applicative Style Functional pearl François Pottier INRIA Add to Reading List Source URL: gallium.inria.fr Language: English - Date: 2014-06-12 04:54:36 Computing Constraint satisfaction problem Type class Lambda calculus Normalisation by evaluation Constraint inference Declarative programming Constraint programming Software engineering
13	Towards Normalization by Evaluation for the βη-Calculus of Constructions Andreas Abel Project PI.R2, INRIA Rocquencourt and PPS, Paris Add to Reading List Source URL: www2.tcs.ifi.lmu.de Language: English - Date: 2011-02-18 18:03:08 Theoretical computer science Lambda calculus Normalisation by evaluation Natural deduction Symbol Proof theory Mathematical logic Programming language theory
14	Normalization by Evaluation in the Delay Monad A Case Study for Coinduction via Copatterns and Sized Types Andreas Abel James Chapman Add to Reading List Source URL: www2.tcs.ifi.lmu.de Language: English - Date: 2014-02-16 03:48:02 Normalisation by evaluation Monad Computer programming Curry–Howard correspondence Mathematical logic Software engineering Lambda calculus
15	Normalization by Evaluation in the Delay Monad A Case Study for Coinduction via Copatterns and Sized Types Andreas Abel James Chapman Add to Reading List Source URL: www2.tcs.ifi.lmu.de Language: English - Date: 2014-03-26 05:31:12 Monad Computer programming Computing Lambda calculus Software engineering Normalisation by evaluation
16	A MODULAR TYPE-CHECKING ALGORITHM FOR TYPE THEORY WITH SINGLETON TYPES AND PROOF IRRELEVANCE ANDREAS ABEL, THIERRY COQUAND, AND MIGUEL PAGANO Ludwig-Maximilians-Universit¨ at M¨ Add to Reading List Source URL: www2.tcs.ifi.lmu.de Language: English - Date: 2011-02-23 03:51:04 Normalisation by evaluation Symbol Logic Mathematics Valuation Model theory Natural deduction Orbifold Abstract algebra Metalogic Lambda calculus
17	ON IRRELEVANCE AND ALGORITHMIC EQUALITY IN PREDICATIVE TYPE THEORY ANDREAS ABEL AND GABRIEL SCHERER Department of Computer Science, Ludwig-Maximilians-University Munich e-mail address: Gallium tea Add to Reading List Source URL: www2.tcs.ifi.lmu.de Language: English - Date: 2012-01-13 11:43:16 Mathematics Metalogic Proof theory Lambda calculus Entailment Logical consequence Normalisation by evaluation Sheaf Soundness Logic Mathematical logic Deduction
18	BRICS Basic Research in Computer Science BRICS RSO. Danvy: Online Type-Directed Partial Evaluation Online Type-Directed Partial Evaluation Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:06:09 Applied mathematics Normalisation by evaluation Combinatory logic Church encoding Type theory Fixed-point combinator Lambda calculus Theoretical computer science Mathematical logic
19	PDF Document Add to Reading List Source URL: www-users.cs.umn.edu Language: English - Date: 2012-08-16 15:05:00 Lambda calculus Algebraic geometry Field theory Valuation Eval Normalisation by evaluation Combinatory logic Mathematics Theoretical computer science Abstract algebra
20	Statistical Analysis of Competing Risks With Missing Causes of Failure 2 Isha Dewan1,3 and Uttara V. Naik-Nimbalkar 2 Add to Reading List Source URL: www.statistics.gov.hk Language: English - Date: 2013-08-22 04:39:21 Survival analysis Exponential distribution Distribution Failure rate Expectation–maximization algorithm Continuous function Spectral theory of ordinary differential equations Normalisation by evaluation Statistics Mathematical analysis Mathematics

UPDATE